Buy Used and New Markus Roggenbach Books

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... 10644 (Lecture Notes in Computer Science)

by Phillip James, Markus Roggenbach

ISBN 13: 9783319720432

Format: Paperback (236 pages)
Publisher: Springer
Published: 08 Dec 2017

Save for later

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

ISBN 13: 9783030388027

Format: Paperback (552 pages)
Publisher: Springer
Published: 07 Jul 2023

Save for later